From 68666c06e8026af131ad5ada05adb4dd638f82cf Mon Sep 17 00:00:00 2001
From: "kfraser@localhost.localdomain" <kfraser@localhost.localdomain>
Date: Wed, 18 Oct 2006 11:38:59 +0100
Subject: [PATCH] xc core structures are not Linux specific. Signed-off-by:
 John Levon <john.levon@sun.com>

---
 tools/libxc/xenctrl.h | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/tools/libxc/xenctrl.h b/tools/libxc/xenctrl.h
index f6d982952a..8689b18cbd 100644
--- a/tools/libxc/xenctrl.h
+++ b/tools/libxc/xenctrl.h
@@ -104,11 +104,6 @@ int xc_find_device_number(const char *name);
  * DOMAIN DEBUGGING FUNCTIONS
  */
 
-#ifdef __linux__
-
-#include <sys/ptrace.h>
-#include <thread_db.h>
-
 typedef struct xc_core_header {
     unsigned int xch_magic;
     unsigned int xch_nr_vcpus;
@@ -120,6 +115,11 @@ typedef struct xc_core_header {
 
 #define XC_CORE_MAGIC 0xF00FEBED
 
+#ifdef __linux__
+
+#include <sys/ptrace.h>
+#include <thread_db.h>
+
 void * map_domain_va_core(
     unsigned long domfd,
     int cpu,
-- 
2.30.2